\relax 
\providecommand\hyper@newdestlabel[2]{}
\@writefile{toc}{\contentsline {chapter}{\numberline {2}形式语言基础}{9}{chapter.2}\protected@file@percent }
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\@writefile{loa}{\addvspace {10\p@ }}
\@writefile{toc}{\contentsline {section}{\numberline {2.1}形式语言是符号串集合}{9}{section.2.1}\protected@file@percent }
\newlabel{def:2.1}{{2.1}{9}{}{definitionT.2.1}{}}
\newlabel{def:2.2}{{2.2}{9}{}{definitionT.2.2}{}}
\newlabel{def:2.3}{{2.3}{9}{}{definitionT.2.3}{}}
\newlabel{def:2.4}{{2.4}{9}{}{definitionT.2.4}{}}
\newlabel{def:2.5}{{2.5}{9}{}{definitionT.2.5}{}}
\newlabel{ex:2.1}{{2.1}{9}{}{exampleT.2.1}{}}
\newlabel{ex:2.2}{{2.2}{9}{}{exampleT.2.2}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.1.1}符号串（集合）的运算}{10}{subsection.2.1.1}\protected@file@percent }
\newlabel{def:2.6}{{2.6}{10}{}{definitionT.2.6}{}}
\newlabel{def:2.7}{{2.7}{10}{}{definitionT.2.7}{}}
\newlabel{def:2.8}{{2.8}{10}{}{definitionT.2.8}{}}
\newlabel{def:2.9}{{2.9}{10}{}{definitionT.2.9}{}}
\newlabel{ex:2.3}{{2.3}{10}{}{exampleT.2.3}{}}
\newlabel{def:2.10}{{2.10}{11}{}{definitionT.2.10}{}}
\newlabel{def:2.11}{{2.11}{11}{}{definitionT.2.11}{}}
\newlabel{def:2.12}{{2.12}{11}{}{definitionT.2.12}{}}
\newlabel{def:2.13}{{2.13}{11}{}{definitionT.2.13}{}}
\newlabel{ex:2.4}{{2.4}{11}{}{exampleT.2.4}{}}
\newlabel{ex:2.5}{{2.5}{11}{}{exampleT.2.5}{}}
\newlabel{ex:2.6}{{2.6}{11}{}{exampleT.2.6}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.1.2}符号串集合的文法描述}{12}{subsection.2.1.2}\protected@file@percent }
\newlabel{ex:2.7}{{2.7}{12}{}{exampleT.2.7}{}}
\@writefile{toc}{\contentsline {section}{\numberline {2.2}形式语言由文法定义的}{14}{section.2.2}\protected@file@percent }
\@writefile{toc}{\contentsline {subsection}{\numberline {2.2.1}什么是文法？}{14}{subsection.2.2.1}\protected@file@percent }
\newlabel{def:2.14}{{2.14}{14}{}{definitionT.2.14}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.2.2}文法是怎样定义语言的？}{14}{subsection.2.2.2}\protected@file@percent }
\newlabel{def:2.15}{{2.15}{14}{}{definitionT.2.15}{}}
\newlabel{def:2.16}{{2.16}{14}{}{definitionT.2.16}{}}
\newlabel{ex:2.8}{{2.8}{14}{}{exampleT.2.8}{}}
\newlabel{ex:2.9}{{2.9}{15}{}{exampleT.2.9}{}}
\newlabel{ex:2.10}{{2.10}{15}{}{exampleT.2.10}{}}
\@writefile{lof}{\contentsline {figure}{\numberline {2.1}{\ignorespaces 算术表达式的层次嵌套结构\relax }}{16}{figure.caption.15}\protected@file@percent }
\newlabel{fig:2.1}{{2.1}{16}{算术表达式的层次嵌套结构\relax }{figure.caption.15}{}}
\@writefile{toc}{\contentsline {section}{\numberline {2.3}主要语法成分的定义}{16}{section.2.3}\protected@file@percent }
\@writefile{toc}{\contentsline {subsection}{\numberline {2.3.1}文法的运算问题}{16}{subsection.2.3.1}\protected@file@percent }
\newlabel{def:2.17}{{2.17}{16}{}{definitionT.2.17}{}}
\newlabel{def:2.18}{{2.18}{17}{}{definitionT.2.18}{}}
\newlabel{def:2.19}{{2.19}{17}{}{definitionT.2.19}{}}
\newlabel{def:2.20}{{2.20}{17}{}{definitionT.2.20}{}}
\newlabel{def:2.21}{{2.21}{17}{}{definitionT.2.21}{}}
\newlabel{def:2.22}{{2.22}{17}{}{definitionT.2.22}{}}
\newlabel{def:2.23}{{2.23}{17}{}{definitionT.2.23}{}}
\newlabel{def:2.24}{{2.24}{17}{}{definitionT.2.24}{}}
\newlabel{ex:2.11}{{2.11}{17}{}{exampleT.2.11}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.3.2}句型、句子和语法树}{18}{subsection.2.3.2}\protected@file@percent }
\newlabel{def:2.25}{{2.25}{18}{}{definitionT.2.25}{}}
\newlabel{def:2.25}{{2.26}{18}{}{definitionT.2.26}{}}
\newlabel{def:2.25}{{2.27}{18}{}{definitionT.2.27}{}}
\@writefile{lof}{\contentsline {figure}{\numberline {2.2}{\ignorespaces 推导产生式的子树\relax }}{18}{figure.caption.16}\protected@file@percent }
\newlabel{fig:2.2}{{2.2}{18}{推导产生式的子树\relax }{figure.caption.16}{}}
\newlabel{ex:2.12}{{2.12}{18}{}{exampleT.2.12}{}}
\@writefile{lof}{\contentsline {figure}{\numberline {2.3}{\ignorespaces 语法树构造\relax }}{19}{figure.caption.17}\protected@file@percent }
\newlabel{fig:2.3}{{2.3}{19}{语法树构造\relax }{figure.caption.17}{}}
\newlabel{def:2.26}{{2.28}{19}{}{definitionT.2.28}{}}
\newlabel{def:2.27}{{2.29}{19}{}{definitionT.2.29}{}}
\newlabel{ex:2.13}{{2.13}{19}{}{exampleT.2.13}{}}
\@writefile{lof}{\contentsline {figure}{\numberline {2.4}{\ignorespaces 中文句型的语法树\relax }}{20}{figure.caption.18}\protected@file@percent }
\newlabel{fig:2.4}{{2.4}{20}{中文句型的语法树\relax }{figure.caption.18}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.3.3}短语、简单短语和句柄}{20}{subsection.2.3.3}\protected@file@percent }
\@writefile{lof}{\contentsline {figure}{\numberline {2.5}{\ignorespaces G(Z)的语法树\relax }}{20}{figure.caption.19}\protected@file@percent }
\newlabel{fig:2.5}{{2.5}{20}{G(Z)的语法树\relax }{figure.caption.19}{}}
\newlabel{def:2.28}{{2.30}{20}{}{definitionT.2.30}{}}
\newlabel{def:2.29}{{2.31}{20}{}{definitionT.2.31}{}}
\newlabel{def:2.30}{{2.32}{20}{}{definitionT.2.32}{}}
\newlabel{ex:2.14}{{2.14}{20}{}{exampleT.2.14}{}}
\@writefile{lof}{\contentsline {figure}{\numberline {2.6}{\ignorespaces 算术表达式(型)的语法树\relax }}{21}{figure.caption.20}\protected@file@percent }
\newlabel{fig:2.6}{{2.6}{21}{算术表达式(型)的语法树\relax }{figure.caption.20}{}}
\newlabel{ex:2.15}{{2.15}{21}{}{exampleT.2.15}{}}
\@writefile{lof}{\contentsline {figure}{\numberline {2.7}{\ignorespaces G(S)的语法树\relax }}{21}{figure.caption.21}\protected@file@percent }
\newlabel{fig:2.7}{{2.7}{21}{G(S)的语法树\relax }{figure.caption.21}{}}
\@writefile{toc}{\contentsline {section}{\numberline {2.4}两种特性文法}{21}{section.2.4}\protected@file@percent }
\@writefile{toc}{\contentsline {subsection}{\numberline {2.4.1}递归文法}{22}{subsection.2.4.1}\protected@file@percent }
\newlabel{def:2.31}{{2.33}{22}{}{definitionT.2.33}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.4.2}二义性文法}{22}{subsection.2.4.2}\protected@file@percent }
\newlabel{def:2.32}{{2.34}{22}{}{definitionT.2.34}{}}
\newlabel{ex:2.16}{{2.16}{22}{}{exampleT.2.16}{}}
\@writefile{lof}{\contentsline {figure}{\numberline {2.8}{\ignorespaces 不同的语法树\relax }}{23}{figure.caption.22}\protected@file@percent }
\newlabel{fig:2.8}{{2.8}{23}{不同的语法树\relax }{figure.caption.22}{}}
\@writefile{toc}{\contentsline {section}{\numberline {2.5}文法的等价变换}{23}{section.2.5}\protected@file@percent }
\@writefile{toc}{\contentsline {subsection}{\numberline {2.5.1}文法的等价性}{23}{subsection.2.5.1}\protected@file@percent }
\newlabel{def:2.33}{{2.35}{23}{}{definitionT.2.35}{}}
\newlabel{ex:2.17}{{2.17}{23}{}{exampleT.2.17}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.5.2}文法变换方法}{23}{subsection.2.5.2}\protected@file@percent }
\@writefile{toc}{\contentsline {subsection}{\numberline {2.5.3}文法变换方法1}{24}{subsection.2.5.3}\protected@file@percent }
\newlabel{ex:2.18}{{2.18}{25}{}{exampleT.2.18}{}}
\@writefile{lof}{\contentsline {figure}{\numberline {2.9}{\ignorespaces 文法化简示意图\relax }}{25}{figure.caption.23}\protected@file@percent }
\newlabel{fig:2.9}{{2.9}{25}{文法化简示意图\relax }{figure.caption.23}{}}
\newlabel{ex:2.19}{{2.19}{26}{}{exampleT.2.19}{}}
\@writefile{lof}{\contentsline {figure}{\numberline {2.10}{\ignorespaces 文法改写示意图\relax }}{26}{figure.caption.24}\protected@file@percent }
\newlabel{fig:2.10}{{2.10}{26}{文法改写示意图\relax }{figure.caption.24}{}}
\@writefile{toc}{\contentsline {section}{\numberline {2.6}形式语言的分类}{28}{section.2.6}\protected@file@percent }
\@setckpt{chapter2/chapter2}{
\setcounter{page}{29}
\setcounter{equation}{0}
\setcounter{enumi}{4}
\setcounter{enumii}{3}
\setcounter{enumiii}{0}
\setcounter{enumiv}{0}
\setcounter{footnote}{0}
\setcounter{mpfootnote}{0}
\setcounter{part}{0}
\setcounter{chapter}{2}
\setcounter{section}{6}
\setcounter{subsection}{0}
\setcounter{subsubsection}{0}
\setcounter{paragraph}{0}
\setcounter{subparagraph}{0}
\setcounter{figure}{10}
\setcounter{table}{0}
\setcounter{float@type}{16}
\setcounter{nlinenum}{0}
\setcounter{lstnumber}{4}
\setcounter{tcbbreakpart}{1}
\setcounter{tcblayer}{0}
\setcounter{tcolorbox@number}{10}
\setcounter{AlgoLine}{0}
\setcounter{algocfline}{0}
\setcounter{algocfproc}{0}
\setcounter{algocf}{0}
\setcounter{parentequation}{0}
\setcounter{dummy}{0}
\setcounter{problem}{0}
\setcounter{exerciseT}{0}
\setcounter{exampleT}{19}
\setcounter{vocabulary}{0}
\setcounter{definitionT}{35}
\setcounter{currfiledepth}{0}
\setcounter{caption@flags}{2}
\setcounter{continuedfloat}{0}
\setcounter{KVtest}{0}
\setcounter{subfigure}{0}
\setcounter{subfigure@save}{0}
\setcounter{lofdepth}{1}
\setcounter{subtable}{0}
\setcounter{subtable@save}{0}
\setcounter{lotdepth}{1}
\setcounter{section@level}{0}
\setcounter{Item}{59}
\setcounter{Hfootnote}{0}
\setcounter{Hy@AnnotLevel}{0}
\setcounter{bookmark@seq@number}{25}
\setcounter{lstlisting}{0}
}
